#ifndef ARCH_NMI_H
    #define ARCH_NMI_H

    

    void EnableNMI();
    void DisableNMI();
#endif